concurrency theory meaning in English
并发理论
Examples
- Process algebra , as one of the important tools for describing and analyzing concurrent and distributed systems , became an central branch of research in concurrency theory
进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。 - The linear time - branching time spectrum ii : the semantics of sequential processes with silent moves . in concurrency theory , best e ed . , lncs 715 , 1993 , pp . 66 - 81
本文的主要贡献是研究了这种更一般的并发系统的动作精化理论，证明了我们的动作精化具有通常期望的以下一些性质： 1正确性。